On the Mailbox Problem
نویسندگان
چکیده
The Mailbox Problem was described and solved by Aguilera, Gafni, and Lamport in [4] with an algorithm that uses two flag registers that carry 14 values each. An interesting problem that they ask is whether there is a mailbox algorithm with smaller flag values. We give a positive answer by describing a mailbox algorithm with 6 and 4 values in the two flag registers.
منابع مشابه
Mailbox Names for Common Services, Roles and Functions
Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. ABSTRACT This specification enumerates an...
متن کاملInter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile Mailbox
In this paper, we consider a mobile mailbox communication scheme to reduce inter-agent communication costs. We employ a mailbox mobility strategy based on the ability of the mailbox to predict variations in inbound message rates and to migrate , if necessary, to a potentially better position in the network.
متن کاملSeamless Handoff Using Mailbox Approach
Mobile IP is used to keep track of location information and make the data available to the mobile devices anytime, anywhere. Mobile IP has been widely accepted but lacks in providing seamless handoff. We have proposed a framework for wireless network that uses a flexible and adaptive mailbox-based scheme. In this scheme a mailbox associated with each mobile node while allowing de coupling betwe...
متن کاملAdding Adaptability to Mailbox-Based Mobile IP
Mobile IP is one of the dominating protocols that provide mobility support in the Internet. However, even with some proposed optimization techniques, there is still space for improving the performance. In this paper, we present a mailbox-based scheme to further improve the performance. In this scheme, each mobile node migrating to a foreign network is associated with a mailbox. A sender sends p...
متن کاملMailbox Abstractions for Static Analysis of Actor Programs
Properties such as the absence of errors or bounds on mailbox sizes are hard to deduce statically for actor-based programs. This is because actor-based programs exhibit several sources of unboundedness, in addition to the non-determinism that is inherent to the concurrent execution of actors. We developed a static technique based on abstract interpretation to soundly reason in a finite amount o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014